搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Mathematics: man's key to progress 0 索取号：O12-43/E802 作者：Denholm、 Richard A.、Franklin Book Programs、 inc.、出版社：[Pasadena, Calif. : Franklin Publications, c1970].		Mathematical developments arising from Hilbert problems : [proceedings] 0 索取号：O1-53/E802/2 作者：Symposium in Pure Mathematics、 Northern Illinois University、 1974.、Browder、 Felix E.、American Mathematical Society.、出版社：Providence : American Mathematical Society, 1976.
	Differential geometry in the large : seminar lectures, New York University, 1946 and Stanford University, 1956 0 索取号：O132-51/E9064 作者：Hopf、 Heinz、 1894-1971.、出版社：Berlin ; New York : Springer-Verlag, 1983.		Theory and applications of graphs : proceedings, Michigan, May 11-15, 1976 0 索取号：O132-51/E8017 作者：International Conference on the Theory and Applications of Graphs (3rd : 1976 : Western Michigan University)、Alavi、 Y.、Lick、 Don R.、 1934-、出版社：Berlin : Springer-Verlag, 1978.
	Dynamical systems--Warwick 1974 : proceedings of a symposium held at the University of Warwick, 1973/74 0 索取号：O132-51/E8028 作者：出版社：Berlin : Springer-Verlag, 1975.		Combinatories : proceedings of the Eighth British Combinatorial Conference, University College, Swansea, 1981 0 索取号：O132-55/E9037 作者：British Combinatorial Conference (8th : 1981 : University College、 Swansea)、Temperley、 H. N. V.、出版社：Cambridge ; New York : Cambridge University Press, 1981.
	Stochastic analysis and related topics II : proceedings of a second workshop held in Silivri, Turkey, July 18-30, 1988 0 索取号：O132-51/E993 作者：出版社：Berlin ; New York : Springer-Verlag, c1990.		Nonlinear hyperbolic problems : proceedings of an advanced research workshop held in Bordeaux, France, June 13-17, 1988 0 索取号：O132-51/E9067 作者：出版社：Berlin ; New York : Springer-Verlag, c1989.
	Dynamical systems : proceedings of the special year held at the University of Maryland, College Park, 1986-87 0 索取号：O132-51/E9031 作者：出版社：Berlin ; New York : Springer-Verlag, c1988.		Functional analysis : proceedings of the seminar at the University of Texas at Austin, 1986-87 0 索取号：O132-51/E9027 作者：出版社：Berlin ; New York : Springer-Verlag, c1988.
	Graph theory, Singapore 1983 : proceedings of the First Southeast Asian Graph Theory Colloquium, held in Singapore, May 10-28, 1983 0 索取号：O132-51/E9041 作者：Southeast Asian Graph Theory Colloquium (1st : 1983 : Singapore)、Koh、 K. M. (Khee Meng)、 1944-、Yap、 H. P. (Hian Poh)、 1938-、出版社：Berlin ; New York : Springer-Verlag, 1984.		Bifurcation theory and applications : lectures given at the 2nd 1983 session of the Centro internationale matematico estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 2, 1983 0 索取号：O132-51/E9043 作者：出版社：Berlin ; New York : Springer-Verlag, 1984.
	Information hiding : 4th international workshop, IH 2001, Pittsburgh, PA, USA, April, 25-27, 2001 : proceedings 0 索取号：TP309-532/E20024/4 作者：IH 2001 (2001 : Pittsburgh、 Pa.)、Moskowitz、 Ira S.、 1956-、出版社：Berlin ; New York : Springer, 2001.		Computer simulation studies in condensed-matter physics XIV : proceedings of the fourteenth workshop, Athens, GA, USA, February 19-24, 2001 0 索取号：O411.2-532/E20001/14 作者：Proceedings of the Fourteenth Workshop、 GA、 USA、Landau、 David P.、Lewis、 S. P. (Steven P.)、ScḧУttler、 Heinz-Bernd、 1956-、出版社：Berlin ; New York : Springer, c2002.
	The domain of natural science : the gifford lectures delivered in the university of aberdeen in 1921 and 1922 0 索取号：N49/E705 作者：Hobson、 Ernest William、 1856-1933.、出版社：New York : Dover Publications, [1968].		Science and the modern world : one of a series of lectures presented at Georgetown University, Washington, D.C. on the occasion of its 175th anniversary, October 1963 to May 1964 0 索取号：N05/E701 作者：Georgetown University.、Steinhardt、 Jacinto、 1906- [from old catalog].、出版社：New York : Plenum Press, 1966.

	Mathematics: man's key to progress 0 索取号：O12-43/E802 作者：Denholm、 Richard A.、Franklin Book Programs、 inc.、出版社：[Pasadena, Calif. : Franklin Publications, c1970].		Mathematical developments arising from Hilbert problems : [proceedings] 0 索取号：O1-53/E802/2 作者：Symposium in Pure Mathematics、 Northern Illinois University、 1974.、Browder、 Felix E.、American Mathematical Society.、出版社：Providence : American Mathematical Society, 1976.
	Differential geometry in the large : seminar lectures, New York University, 1946 and Stanford University, 1956 0 索取号：O132-51/E9064 作者：Hopf、 Heinz、 1894-1971.、出版社：Berlin ; New York : Springer-Verlag, 1983.		Theory and applications of graphs : proceedings, Michigan, May 11-15, 1976 0 索取号：O132-51/E8017 作者：International Conference on the Theory and Applications of Graphs (3rd : 1976 : Western Michigan University)、Alavi、 Y.、Lick、 Don R.、 1934-、出版社：Berlin : Springer-Verlag, 1978.
	Dynamical systems--Warwick 1974 : proceedings of a symposium held at the University of Warwick, 1973/74 0 索取号：O132-51/E8028 作者：出版社：Berlin : Springer-Verlag, 1975.		Combinatories : proceedings of the Eighth British Combinatorial Conference, University College, Swansea, 1981 0 索取号：O132-55/E9037 作者：British Combinatorial Conference (8th : 1981 : University College、 Swansea)、Temperley、 H. N. V.、出版社：Cambridge ; New York : Cambridge University Press, 1981.
	Stochastic analysis and related topics II : proceedings of a second workshop held in Silivri, Turkey, July 18-30, 1988 0 索取号：O132-51/E993 作者：出版社：Berlin ; New York : Springer-Verlag, c1990.		Nonlinear hyperbolic problems : proceedings of an advanced research workshop held in Bordeaux, France, June 13-17, 1988 0 索取号：O132-51/E9067 作者：出版社：Berlin ; New York : Springer-Verlag, c1989.
	Dynamical systems : proceedings of the special year held at the University of Maryland, College Park, 1986-87 0 索取号：O132-51/E9031 作者：出版社：Berlin ; New York : Springer-Verlag, c1988.		Functional analysis : proceedings of the seminar at the University of Texas at Austin, 1986-87 0 索取号：O132-51/E9027 作者：出版社：Berlin ; New York : Springer-Verlag, c1988.
	Graph theory, Singapore 1983 : proceedings of the First Southeast Asian Graph Theory Colloquium, held in Singapore, May 10-28, 1983 0 索取号：O132-51/E9041 作者：Southeast Asian Graph Theory Colloquium (1st : 1983 : Singapore)、Koh、 K. M. (Khee Meng)、 1944-、Yap、 H. P. (Hian Poh)、 1938-、出版社：Berlin ; New York : Springer-Verlag, 1984.		Bifurcation theory and applications : lectures given at the 2nd 1983 session of the Centro internationale matematico estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 2, 1983 0 索取号：O132-51/E9043 作者：出版社：Berlin ; New York : Springer-Verlag, 1984.
	Information hiding : 4th international workshop, IH 2001, Pittsburgh, PA, USA, April, 25-27, 2001 : proceedings 0 索取号：TP309-532/E20024/4 作者：IH 2001 (2001 : Pittsburgh、 Pa.)、Moskowitz、 Ira S.、 1956-、出版社：Berlin ; New York : Springer, 2001.		Computer simulation studies in condensed-matter physics XIV : proceedings of the fourteenth workshop, Athens, GA, USA, February 19-24, 2001 0 索取号：O411.2-532/E20001/14 作者：Proceedings of the Fourteenth Workshop、 GA、 USA、Landau、 David P.、Lewis、 S. P. (Steven P.)、ScḧУttler、 Heinz-Bernd、 1956-、出版社：Berlin ; New York : Springer, c2002.
	The domain of natural science : the gifford lectures delivered in the university of aberdeen in 1921 and 1922 0 索取号：N49/E705 作者：Hobson、 Ernest William、 1856-1933.、出版社：New York : Dover Publications, [1968].		Science and the modern world : one of a series of lectures presented at Georgetown University, Washington, D.C. on the occasion of its 175th anniversary, October 1963 to May 1964 0 索取号：N05/E701 作者：Georgetown University.、Steinhardt、 Jacinto、 1906- [from old catalog].、出版社：New York : Plenum Press, 1966.